Formal Methods for Engineering Education
نویسنده
چکیده
The advent of massive open online courses (MOOCs) has placed a renewed focus on the development and use of computational aids for teaching and learning. In Spring 2014, a graduate course was taught at UC Berkeley to explore the use of formal methods for a range of activities in online and large-scale education, including utomatic grading, synthesizing new problems, automatically solving problems, and creating and managing virtual laboratory environments. Students performed a range of projects exploring these topics for courses in computer science, electrical engineering, and other disciplines. This technical report includes the final reports on student projects along with a summary of some of the main lessons learned through in-class discussions.
منابع مشابه
Teaching Software Model Checking
The use of formal methods has become commonplace in hardware design, and is becoming increasingly widespread in software engineering. While formal methods have repeatedly been applied in safety-critical projects, their technologies and tools are not widely known, due to lack of in-depth education in current curricula. In this paper, we introduce the curriculum design of software model checking,...
متن کاملKeys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program
Formal methods play essential roles in education and training of software engineering. Besides the fact that formal methods themselves can be direct solutions to problems in development, many insights into modelling, specification, verification and validation can be provided. On the other hand, difficulties lie in delivering these direct or indirect values to the industry. This paper reports an...
متن کاملFormal Methods for Electronic Government
Electronic government is a challenging domain for software engineering, with complex requirements involving agility, transparency, accuracy, and accessibility. The techniques of semantic frameworks— metadata-based, model-driven development—may help to address these challenges. Data semantics and model transformations are prime application areas for formal methods, and so electronic government i...
متن کاملFormal Methods in Software Engineering Education Discussion Summary
Formal methods are seen as the Cinderella subject of software engineering, always hovering in the background, hoping to be invited to the ball. But exactly what are formal methods? Because they were fashionable in the eighties, the term was stolen by “informal” methods to provide themselves with a cloak of respectability-one of the claims of formal methods was that, by using them, it was possib...
متن کاملMathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications technology. For the most part, at undergraduate level, such mathematics is generally considered to consist of discrete mathematics, including formal logic. At a research level, one expects to find abstract algebra, categor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015